Expansions of O-minimal Structures on the Real Field by Trajectories of Linear Vector Fields
نویسنده
چکیده
Let R be an o-minimal expansion of the field of real numbers that defines nontrivial arcs of both the sine and exponential functions. Let G be a collection of images of solutions on intervals to differential equations y′ = F (y), where F ranges over all R-linear transformations R → R. Then either the expansion of R by the elements of G is as well behaved relative to R as one could reasonably hope for, or it defines the set of all integers Z, and thus is as complicated as possible. In particular, if R defines any irrational power functions, then the expansion of R by the elements of G either is o-minimal or defines Z.
منابع مشابه
A TRICHOTOMY FOR EXPANSIONS OF Ran BY TRAJECTORIES OF ANALYTIC PLANAR VECTOR FIELDS
Caveat. This note has become seriously out of date due, among other things, to recent work by Philipp Hieronymi [Defining the set of integers in expansions of the real field by a closed discrete set. Proc. Amer. Math. Soc. 138 (2010), no. 6, 21632168. MR2596055]. In particular, the paragraph after the proof of Corollary 4 should be struck. Rather than update this particular note, we are are act...
متن کاملA question of van den Dries and a theorem of Lipshitz and Robinson; not everything is standard
We use a new construction of an o-minimal structure, due to Lipshitz and Robinson, to answer a question of van den Dries regarding the relationship between arbitrary o-minimal expansions of real closed fields and structures over the real numbers. We write a first order sentence which is true in the Lipshitz-Robinson structure but fails in any possible interpretation over the field of real numbe...
متن کاملOn the real quadratic fields with certain continued fraction expansions and fundamental units
The purpose of this paper is to investigate the real quadratic number fields $Q(sqrt{d})$ which contain the specific form of the continued fractions expansions of integral basis element where $dequiv 2,3( mod 4)$ is a square free positive integer. Besides, the present paper deals with determining the fundamental unit$$epsilon _{d}=left(t_d+u_dsqrt{d}right) 2left.right > 1$$and $n_d$ and $m_d...
متن کاملTowards a Model Theory for Transseries
The differential field of transseries extends the field of real Laurent series, and occurs in various context: asymptotic expansions, analytic vector fields, o-minimal structures, to name a few. We give an overview of the algebraic and model-theoretic aspects of this differential field, and report on our efforts to understand its first-order theory.
متن کاملStrongly minimal expansions of (C,+) definable in o-minimal fields
We characterize those functions f : C → C definable in o-minimal expansions of the reals for which the structure (C,+, f) is strongly minimal: such functions must be complex constructible, possibly after conjugating by a real matrix. In particular we prove a special case of the Zilber Dichotomy: an algebraically closed field is definable in certain strongly minimal structures which are definabl...
متن کامل